$code-font-family: sfmono-regular, consolas, menlo, dejavu sans mono, monospace;
$code-font-size: 12px;

.theme-dark {
    --code-bg: var(--color-bg-2);
}

.theme-light {
    --code-bg: var(--color-bg-2);
}

code,
.code {
    font-family: $code-font-family;
    font-size: $code-font-size;
    line-height: 16px;
    white-space: pre;
}

.bg-code {
    background-color: var(--code-bg);
}

kbd {
    font-family: SFMono-Regular, Consolas, Menlo, DejaVu Sans Mono, monospace;
    display: inline-block;
    line-height: 16px;
    height: 1.125rem;
    font-size: 12px;
    padding: 0 0.25rem;
    margin: 0 0.125rem;
    vertical-align: middle;
    border-radius: 3px;
    color: var(--body-color);
    background-color: var(--color-bg-2);
    box-shadow: inset 0 -2px 0 var(--color-bg-3);
}

.search-filter-keyword {
    color: var(--search-filter-keyword-color);
}

.search-keyword {
    color: var(--search-keyword-color);
}
